Tootfinder

This https://arxiv.org/abs/1902.01353 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Session Type System for Asynchronous Unreliable Broadcast Communication
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assumed that the communication medium is reliable, with no loss of messages. However, unreliable broadcast communication is common in a wide class of distributed systems such as ad-hoc and wireless sensor networks. Often such systems have structured communication patterns that should be amenable to analysis by means of ses…

Session Types for the Transport Layer: Towards an Implementation of TCP
Samuel Cavoj (University of Glasgow), Ivan Nikitin (University of Glasgow), Colin Perkins (University of Glasgow), Ornela Dardha (University of Glasgow)
https://arxiv.org/abs/2404.05478

Session Types for the Transport Layer: Towards an Implementation of TCP
Session types are a typing discipline used to formally describe communication-driven applications with the aim of fewer errors and easier debugging later into the life cycle of the software. Protocols at the transport layer such as TCP, UDP, and QUIC underpin most of the communication on the modern Internet and affect billions of end-users. The transport layer has different requirements and constraints compared to the application layer resulting in different requirements for verification. Despi…

This https://arxiv.org/abs/2402.18647 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Rank lower bounds on non-local quantum computation
A non-local quantum computation (NLQC) replaces an interaction between two quantum systems with a single simultaneous round of communication and shared entanglement. We study two classes of NLQC, $f$-routing and $f$-BB84, which are of relevance to classical information theoretic cryptography and quantum position-verification. We give the first non-trivial lower bounds on entanglement in both settings, but are restricted to lower bounding protocols with perfect correctness. Within this setting, …

SubwayMeshDTN: Exploring Opportunistic Delay Tolerant Routing Protocols when Disseminating Emergency Alerts on a Smart City Subway Network
Bruce Estivil, Milena Radenkovic
https://arxiv.org/abs/2405.02647

SubwayMeshDTN: Exploring Opportunistic Delay Tolerant Routing Protocols when Disseminating Emergency Alerts on a Smart City Subway Network
This paper seeks to understand the effectiveness of using multi-dimensional opportunistic delay-tolerant network (DTN) routing protocols, specifically Epidemic and MaxProp, in the context of New York City (NYC) metropolitan subway network. We examine how efficiently emergency messages spread through mobile, self-configuring, edge-based movement patterns on the train network to understand and propose solutions for improving communication in subterranean environments. Since DTNs are able to store…

Message-Observing Sessions
Ryan Kavanagh, Brigitte Pientka
https://arxiv.org/abs/2403.04633 https://arxiv.org/pdf/2403.04633

Message-Observing Sessions
We present Most, a process language with message-observing session types. Message-observing session types extend binary session types with type-level computation to specify communication protocols that vary based on messages observed on other channels. Hence, Most allows us to express global invariants about processes, rather than just local invariants, in a bottom-up, compositional way. We give Most a semantic foundation using traces with binding, a semantic approach for compositionally reason…

Energy-Based Optimization of Physical-Layer Challenge-Response Authentication with Drones
Francesco Ardizzon, Damiano Salvaterra, Mattia Piana, Stefano Tomasin
https://arxiv.org/abs/2405.03608

Energy-Based Optimization of Physical-Layer Challenge-Response Authentication with Drones
Drones are expected to be used for many tasks in the future and require secure communication protocols. In this work, we propose a novel physical layer authentication (PLA)-based challenge-response (CR) protocol in which a drone Bob authenticates the sender (either on the ground or air) by exploiting his prior knowledge of the wireless channel statistic (fading, path loss, and shadowing). In particular, Bob will move to a set of positions in the space, and by estimating the attenuations of the …

This https://arxiv.org/abs/2305.08460 has been replaced.
link: https://scholar.google.com/scholar?q=a

Selective Population Protocols
The model of population protocols provides a universal platform to study distributed processes driven by pairwise interactions of anonymous agents. While population protocols present an elegant and robust model for randomized distributed computation, their efficiency wanes when tackling issues that require more focused communication or the execution of multiple processes. To address this issue, we propose a new, selective variant of population protocols by introducing a partition of the state s…

This https://arxiv.org/abs/2402.08819 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

Infinite-horizon optimal scheduling for feedback control
Emerging cyber-physical systems impel the development of communication protocols to efficiently utilize resources. This paper investigates the optimal co-design of control and scheduling in networked control systems. The objective is to co-design the control law and the scheduling mechanism that jointly optimize the tradeoff between regulation performance and communication resource consumption in the long run. The concept of the value of information (VoI) is employed to evaluate the importance …

This https://arxiv.org/abs/2403.07817 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

UniHand: Privacy-preserving Universal Handover for Small-Cell Networks in 5G-enabled Mobile Communication with KCI Resilience
Introducing Small Cell Networks (SCN) has significantly improved wireless link quality, spectrum efficiency and network capacity, which has been viewed as one of the key technologies in the fifth-generation (5G) mobile network. However, this technology increases the frequency of handover (HO) procedures caused by the dense deployment of cells in the network with reduced cell coverage, bringing new security and privacy issues. The current 5G-AKA and HO protocols are vulnerable to security weakne…

This https://arxiv.org/abs/2402.09595 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate through communication (by exchanging messages). It is crucial to develop robust methods that can give reliable guarantees about the behavior of such message-passing software. With a focus on session types as communication protocols and their foundations in logic, this thesis revolves around the following question: How can we push the boundaries of the lo…

This https://arxiv.org/abs/2106.10362 has been replaced.
link: https://scholar.google.com/scholar?q=a

Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback
Existing committee-based Byzantine state machine replication (SMR) protocols, typically deployed in production blockchains, face a clear trade-off: (1) they either achieve linear communication cost in the happy path, but sacrifice liveness during periods of asynchrony, or (2) they are robust (progress with probability one) but pay quadratic communication cost. We believe this trade-off is unwarranted since existing linear protocols still have asymptotic quadratic cost in the worst case. We desi…

NeuraLunaDTNet: Feedforward Neural Network-Based Routing Protocol for Delay-Tolerant Lunar Communication Networks
Parth Patel, Milena Radenkovic
https://arxiv.org/abs/2403.20199 <…

NeuraLunaDTNet: Feedforward Neural Network-Based Routing Protocol for Delay-Tolerant Lunar Communication Networks
Space Communication poses challenges such as severe delays, hard-to-predict routes and communication disruptions. The Delay Tolerant Network architecture, having been specifically designed keeping such scenarios in mind, is suitable to address some challenges. The traditional DTN routing protocols fall short of delivering optimal performance, due to the inherent complexities of space communication. Researchers have aimed at using recent advancements in AI to mitigate some routing challenges [9]…

COTS: Connected OpenAPI Test Synthesis for RESTful Applications
Christian Bartolo Burl\`o, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
https://arxiv.org/abs/2404.19614

COTS: Connected OpenAPI Test Synthesis for RESTful Applications
We present a novel model-driven approach for testing RESTful applications. We introduce a (i) domain-specific language for OpenAPI specifications and (ii) a tool to support our methodology. Our DSL is inspired by session types and enables the modelling of communication protocols between a REST client and server. Our tool, dubbed COTS, generates (randomised) model-based test executions and reports software defects. We evaluate the effectiveness of our approach by applying it to test several open…

This https://arxiv.org/abs/2212.03896 has been replaced.
link: https://scholar.google.com/scholar?q=a

ReQuSim: Faithfully simulating near-term quantum repeaters
Quantum repeaters have long been established to be essential for distributing entanglement over long distances. Consequently, their experimental realization constitutes a core challenge of quantum communication. However, there are numerous open questions about implementation details for realistic, near-term experimental setups. In order to assess the performance of realistic repeater protocols, we here present ReQuSim, a comprehensive Monte-Carlo based simulation platform for quantum repeaters …

This https://arxiv.org/abs/2305.17079 has been replaced.
link: https://scholar.google.com/scholar?q=a

Complete Multiparty Session Type Projection with Automata
Multiparty session types (MSTs) are a type-based approach to verifying communication protocols. Central to MSTs is a projection operator: a partial function that maps protocols represented as global types to correct-by-construction implementations for each participant, represented as a communicating state machine. Existing projection operators are syntactic in nature, and trade efficiency for completeness. We present the first projection operator that is sound, complete, and efficient. Our proj…

This https://arxiv.org/abs/2403.14342 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric
This paper presents a novel adversary model specifically tailored to distributed systems, with the aim to asses the security of blockchain technologies. Building upon literature on adversarial assumptions and capabilities, we include classical notions of failure and communication models to classify and bind the use of adversarial actions. We focus on the effect of these actions on properties of distributed protocols. A significant effort of our research is the integration of this model into the…

Reducing Communication Overhead in the IoT-Edge-Cloud Continuum: A Survey on Protocols and Data Reduction Strategies
Dora Krekovi\'c, Petar Krivi\'c, Ivana Podnar \v{Z}arko, Mario Ku\v{s}ek, Danh Le-Phuoc
https://arxiv.org/abs/2404.19492

Reducing Communication Overhead in the IoT-Edge-Cloud Continuum: A Survey on Protocols and Data Reduction Strategies
The adoption of the Internet of Things (IoT) deployments has led to a sharp increase in network traffic as a vast number of IoT devices communicate with each other and IoT services through the IoT-edge-cloud continuum. This network traffic increase poses a major challenge to the global communications infrastructure since it hinders communication performance and also puts significant strain on the energy consumption of IoT devices. To address these issues, efficient and collaborative IoT solutio…

This https://arxiv.org/abs/2403.14142 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Unconditional verification of quantum computation with classical light
Verification of quantum computation is a task to efficiently check whether an output given from a quantum computer is correct. Existing verification protocols conducted between a quantum computer to be verified and a verifier necessitate quantum communication to unconditionally detect any malicious behavior of the quantum computer solving any promise problem in ${\sf BQP}$. In this paper, we remove the necessity of the communication of qubits by proposing a "physically-classical" verification p…

Energy-Efficient Federated Learning in Cooperative Communication within Factory Subnetworks
Hamid Reza Hashempour, Gilberto Berardinelli, Ramoni Adeogun, Shashi Raj Pandey
https://arxiv.org/abs/2404.18010

Energy-Efficient Federated Learning in Cooperative Communication within Factory Subnetworks
This paper investigates energy-efficient transmission protocols in relay-assisted federated learning (FL) setup within industrial subnetworks, considering latency and power constraints. In the subnetworks, devices collaborate to train a global model by transmitting their local models at the edge-enabled primary access (pAP) directly or via secondary access points (sAPs), which act as relays to optimize the training latency. We begin by formulating the energy efficiency problem for our proposed …

This https://arxiv.org/abs/2404.07795 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

From the Lab to the Theater: An Unconventional Field Robotics Journey
Artistic performances involving robotic systems present unique technical challenges akin to those encountered in other field deployments. In this paper, we delve into the orchestration of robotic artistic performances, focusing on the complexities inherent in communication protocols and localization methods. Through our case studies and experimental insights, we demonstrate the breadth of technical requirements for this type of deployment, and, most importantly, the significant contributions of…

This https://arxiv.org/abs/1902.01353 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Session Type System for Asynchronous Unreliable Broadcast Communication
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assumed that the communication medium is reliable, with no loss of messages. However, unreliable broadcast communication is common in a wide class of distributed systems such as ad-hoc and wireless sensor networks. Often such systems have structured communication patterns that should be amenable to analysis by means of ses…

Communication Optimal Unbalanced Private Set Union
Jean-Guillaume DumasUGA, LJK, CASC, Alexis GalanCASC, Bruno GrenetCASC, Aude MaignanCASC, Daniel S. Roche
https://arxiv.org/abs/2402.16393

Communication Optimal Unbalanced Private Set Union
We consider the private set union (PSU) problem, where two parties each hold a private set of elements, and they want one of the parties (the receiver) to learn the union of the two sets and nothing else. Our protocols are targeted for the unbalanced case where the receiver's set size is larger than the sender's set size, with the goal of minimizing the costs for the sender both in terms of communication volume and local computation time. This setting is motivated by applications where the rece…

This https://arxiv.org/abs/2404.14250 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDC_…

Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols
Snowman is the consensus protocol implemented by the Avalanche blockchain and is part of the Snow family of protocols, first introduced through the original Avalanche leaderless consensus protocol. A major advantage of Snowman is that each consensus decision only requires an expected constant communication overhead per processor in the `common' case that the protocol is not under substantial Byzantine attack, i.e. it provides a solution to the scalability problem which ensures that the expected…

This https://arxiv.org/abs/2308.01531 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSD_…

Optimizing multi-user indoor sound communications with acoustic reconfigurable metasurfaces
Sound in indoor spaces forms a complex wavefield due to multiple scattering encountered by the sound. Indoor acoustic communication involving multiple sources and receivers thus inevitably suffers from cross-talks. Here, we demonstrate the isolation of acoustic communication channels in a room by wavefield shaping using acoustic reconfigurable metasurfaces (ARMs) controlled by optimization protocols based on communication theories. The ARMs have 200 electrically switchable units, each selective…

What Does Evaluation of Explainable Artificial Intelligence Actually Tell Us? A Case for Compositional and Contextual Validation of XAI Building Blocks
Kacper Sokol, Julia E. Vogt
https://arxiv.org/abs/2403.12730

What Does Evaluation of Explainable Artificial Intelligence Actually Tell Us? A Case for Compositional and Contextual Validation of XAI Building Blocks
Despite significant progress, evaluation of explainable artificial intelligence remains elusive and challenging. In this paper we propose a fine-grained validation framework that is not overly reliant on any one facet of these sociotechnical systems, and that recognises their inherent modular structure: technical building blocks, user-facing explanatory artefacts and social communication protocols. While we concur that user studies are invaluable in assessing the quality and effectiveness of ex…

Modeling the Trade-off between Throughput and Reliability in a Bluetooth Low Energy Connection
Bozheng Pang, Tim Claeys, Hans Hallez, Jeroen Boydens
https://arxiv.org/abs/2405.01231

Modeling the Trade-off between Throughput and Reliability in a Bluetooth Low Energy Connection
The use of Bluetooth Low Energy in low-range Internet of Things systems is growing exponentially. Similar to other wireless communication protocols, throughput and reliability are two key performance metrics in Bluetooth Low Energy communications. However, electromagnetic interference from various sources can heavily affect the performance of wireless devices, leading to dropped throughput and unreliable communication. Therefore, there is a need for both theoretical and practical studies capabl…

This https://arxiv.org/abs/2403.07604 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Approximating many-body quantum states with quantum circuits and measurements
We introduce protocols to prepare many-body quantum states with quantum circuits assisted by local operations and classical communication. We show that by lifting the requirement of exact preparation, one can substantially save resources. In particular, the so-called $W$ and, more generally, Dicke states require a circuit depth and number of ancillas per site that are independent of the system size. As a biproduct of our work, we introduce an efficient scheme to implement certain non-local, non…

This https://arxiv.org/abs/2402.16413 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

AI-enabled STAR-RIS aided MISO ISAC Secure Communications
A simultaneous transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) aided integrated sensing and communication (ISAC) dual-secure communication system is studied in this paper. The sensed target and legitimate users (LUs) are situated on the opposite sides of the STAR-RIS, and the energy splitting and time switching protocols are applied in the STAR-RIS, respectively. The long-term average security rate for LUs is maximized by the joint design of the base station (BS) trans…

Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols
Aaron Buchwald, Stephen Buttolph, Andrew Lewis-Pye, Patrick O'Grady, Kevin Sekniqi
https://arxiv.org/abs/2404.14250

Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols
Snowman is the consensus protocol implemented by the Avalanche blockchain and is part of the Snow family of protocols, first introduced through the original Avalanche leaderless consensus protocol. A major advantage of Snowman is that each consensus decision only requires an expected constant communication overhead per processor in the `common' case that the protocol is not under substantial Byzantine attack, i.e. it provides a solution to the scalability problem which ensures that the expected…

HotStuff-2 vs. HotStuff: The Difference and Advantage
Siyuan Zhao, Yanqi Wu, Zheng Wang
https://arxiv.org/abs/2403.18300 https://arxi…

HotStuff-2 vs. HotStuff: The Difference and Advantage
Byzantine consensus protocols are essential in blockchain technology. The widely recognized HotStuff protocol uses cryptographic measures for efficient view changes and reduced communication complexity. Recently, the main authors of HotStuff introduced an advanced iteration named HotStuff-2. This paper aims to compare the principles and analyze the effectiveness of both protocols, hoping to depict their key differences and assess the potential enhancements offered by HotStuff-2.

Infinite-horizon optimal scheduling for feedback control
Siyi Wang, Sandra Hirche
https://arxiv.org/abs/2402.08819 https://arxiv.org/…

Infinite-horizon optimal scheduling for feedback control
Emerging cyber-physical systems impel the development of communication protocols to efficiently utilize resources. This paper investigates the optimal co-design of control and scheduling in networked control systems. The objective is to co-design the control law and the scheduling mechanism that jointly optimize the tradeoff between regulation performance and communication resource consumption in the long run. The concept of the value of information (VoI) is employed to evaluate the importance …

This https://arxiv.org/abs/2311.05389 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Verifying the security of a continuous variable quantum communication protocol via quantum metrology
Quantum mechanics offers the possibility of unconditionally secure communication between multiple remote parties. Security proofs for such protocols typically rely on bounding the capacity of the quantum channel in use. In a similar manner, Cramér-Rao bounds in quantum metrology place limits on how much information can be extracted from a given quantum state about some unknown parameters of interest. In this work we establish a connection between these two areas. We first demonstrate a three-p…

This https://arxiv.org/abs/2404.14250 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDC_…

Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols
Snowman is the consensus protocol implemented by the Avalanche blockchain and is part of the Snow family of protocols, first introduced through the original Avalanche leaderless consensus protocol. A major advantage of Snowman is that each consensus decision only requires an expected constant communication overhead per processor in the `common' case that the protocol is not under substantial Byzantine attack, i.e. it provides a solution to the scalability problem which ensures that the expected…

This https://arxiv.org/abs/2307.01063 has been replaced.
link: https://scholar.google.com/scholar?q=a

Synthesising Full-Information Protocols
We lay out a model of games with imperfect information that features explicit communication actions, by which the entire observation history of a player is revealed to another player. Such full-information protocols are common in asynchronous distributed systems; here, we consider a synchronous setting with a single active player who may communicate with multiple passive observers in an indeterminate environment. We present a procedure for solving the basic strategy-synthesis problem under regu…

Energy Cyber Attacks to Smart Healthcare Devices: A Testbed
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
https://arxiv.org/abs/2404.19418 https://arxiv.org/pdf/2404.19418
arXiv:2404.19418v1 Announce Type: new
Abstract: The Internet of Things (IoT) has garnered significant interest in both research and industry due to its profound impact on human life. The rapid expansion of IoT technology has ushered in smart healthcare, smart devices, smart cities, and smart grids. However, the security of IoT devices, particularly in healthcare, has become a major concern, with recent attacks revealing serious vulnerabilities. In IoT networks, where connected devices are susceptible to resource-constraint attacks, such as energy consumption attacks, security is paramount.
This paper explores the impact of Distributed Denial of Service (DDoS) and Fake Access Points (F-APs) attacks on WiFi-enabled smart healthcare devices. Specifically, it investigates how these attacks can disrupt service on victim devices and Access Points (APs), focusing on device connectivity and energy consumption during attacks. Key findings include identifying the attack rates of DDoS attacks that disrupt services and quantifying the energy consumption impact of Energy Consumption Distributed Denial of Service (EC-DDoS) and F-APs attacks on smart healthcare devices.
The study highlights communication protocols, attack rates, payload sizes, and port states of victim devices as critical factors influencing energy consumption. These insights provide a comprehensive understanding of IoT device vulnerabilities in smart healthcare environments and lay the groundwork for future defense strategies.

This https://arxiv.org/abs/2307.01063 has been replaced.
link: https://scholar.google.com/scholar?q=a

Synthesising Full-Information Protocols
We lay out a model of games with imperfect information that features explicit communication actions, by which the entire observation history of a player is revealed to another player. Such full-information protocols are common in asynchronous distributed systems; here, we consider a synchronous setting with a single active player who may communicate with multiple passive observers in an indeterminate environment. We present a procedure for solving the basic strategy-synthesis problem under regu…

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
Bas van den Heuvel
https://arxiv.org/abs/2402.09595 https://

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate through communication (by exchanging messages). It is crucial to develop robust methods that can give reliable guarantees about the behavior of such message-passing software. With a focus on session types as communication protocols and their foundations in logic, this thesis revolves around the following question: How can we push the boundaries of the lo…

This https://arxiv.org/abs/2207.04939 has been replaced.
link: https://scholar.google.com/scholar?q=a

Resource analysis for quantum-aided Byzantine agreement with the four-qubit singlet state
In distributed computing, a Byzantine fault is a condition where a component behaves inconsistently, showing different symptoms to different components of the system. Consensus among the correct components can be reached by appropriately crafted communication protocols even in the presence of byzantine faults. Quantum-aided protocols built upon distributed entangled quantum states are worth considering, as they are more resilient than traditional ones. Based on earlier ideas, here we establish …

This https://arxiv.org/abs/2403.20199 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csNI_…

NeuraLunaDTNet: Feedforward Neural Network-Based Routing Protocol for Delay-Tolerant Lunar Communication Networks
Space Communication poses challenges such as severe delays, hard-to-predict routes and communication disruptions. The Delay Tolerant Network architecture, having been specifically designed keeping such scenarios in mind, is suitable to address some challenges. The traditional DTN routing protocols fall short of delivering optimal performance, due to the inherent complexities of space communication. Researchers have aimed at using recent advancements in AI to mitigate some routing challenges [9]…

Blockchain-Enhanced UAV Networks for Post-Disaster Communication: A Decentralized Flocking Approach
Sana Hafeez, Runze Cheng, Lina Mohjazi, Yao Sun, Muhammad Ali Imran
https://arxiv.org/abs/2403.04796

Blockchain-Enhanced UAV Networks for Post-Disaster Communication: A Decentralized Flocking Approach
Unmanned Aerial Vehicles (UAVs) have significant potential for agile communication and relief coordination in post-disaster scenarios, particularly when ground infrastructure is compromised. However, efficiently coordinating and securing flocks of heterogeneous UAVs from different service providers poses significant challenges related to privacy, scalability, lightweight consensus protocols, and comprehensive cybersecurity mechanisms. This study introduces a robust blockchain-enabled framework …

One-sided DI-QKD secure against coherent attacks over long distances
Michele Masini, Shubhayan Sarkar
https://arxiv.org/abs/2403.11850 https://

One-sided DI-QKD secure against coherent attacks over long distances
Quantum Key Distribution (QKD) is a technique enabling provable secure communication but faces challenges in device characterization, posing potential security risks. Device-Independent (DI) QKD protocols overcome this issue by making minimal device assumptions but are limited in distance because they require high detection efficiencies, which refer to the ability of the experimental setup to detect quantum states. It is thus desirable to find quantum key distribution protocols that are based o…

Blockchain-Enhanced UAV Networks for Post-Disaster Communication: A Decentralized Flocking Approach
Sana Hafeez, Runze Cheng, Lina Mohjazi, Yao Sun, Muhammad Ali Imran
https://arxiv.org/abs/2403.04796

Blockchain-Enhanced UAV Networks for Post-Disaster Communication: A Decentralized Flocking Approach
Unmanned Aerial Vehicles (UAVs) have significant potential for agile communication and relief coordination in post-disaster scenarios, particularly when ground infrastructure is compromised. However, efficiently coordinating and securing flocks of heterogeneous UAVs from different service providers poses significant challenges related to privacy, scalability, lightweight consensus protocols, and comprehensive cybersecurity mechanisms. This study introduces a robust blockchain-enabled framework …

Unveiling Behavioral Transparency of Protocols Communicated by IoT Networked Assets (Full Version)
Savindu Wannigama (Department of Computer Engineering, University of Peradeniya, Sri Lanka), Arunan Sivanathan (School of EE&T, UNSW Sydney, Australia), Ayyoob Hamza (School of EE&T, UNSW Sydney, Australia), Hassan Habibi Gharakheili (School of EE&T, UNSW Sydney, Australia)

Unveiling Behavioral Transparency of Protocols Communicated by IoT Networked Assets (Full Version)
Behavioral transparency for Internet-of-Things (IoT) networked assets involves two distinct yet interconnected tasks: (a) characterizing device types by discerning the patterns exhibited in their network traffic, and (b) assessing vulnerabilities they introduce to the network. While identifying communication protocols, particularly at the application layer, plays a vital role in effective network management, current methods are, at best, ad-hoc. Accurate protocol identification and attribute ex…

UniHand: Privacy-preserving Universal Handover for Small-Cell Networks in 5G-enabled Mobile Communication with KCI Resilience
Rabiah Alnashwan, Prosanta Gope, Benjamin Dowling
https://arxiv.org/abs/2403.07817

UniHand: Privacy-preserving Universal Handover for Small-Cell Networks in 5G-enabled Mobile Communication with KCI Resilience
Introducing Small Cell Networks (SCN) has significantly improved wireless link quality, spectrum efficiency and network capacity, which has been viewed as one of the key technologies in the fifth-generation (5G) mobile network. However, this technology increases the frequency of handover (HO) procedures caused by the dense deployment of cells in the network with reduced cell coverage, bringing new security and privacy issues. The current 5G-AKA and HO protocols are vulnerable to security weakne…

This https://arxiv.org/abs/2402.09108 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Web 3.0 and Quantum Security: Long-Distance Free-Space QSDC for Global Web 3.0 Networks
With the advent of Web 3.0, the swift advancement of technology confronts an imminent threat from quantum computing. Security protocols safeguarding the integrity of Web 2.0 and Web 3.0 are growing more susceptible to both quantum attacks and sophisticated classical threats. The article introduces our novel long-distance free-space quantum secure direct communication (LF QSDC) as a method to safeguard against security breaches in both quantum and classical contexts. Differing from techniques li…

Current Affairs: A Measurement Study of Deployment and Security Trends in EV Charging Infrastructure
Marcell Szak\'aly, Sebastian K\"ohler, Ivan Martinovic
https://arxiv.org/abs/2404.06635

Current Affairs: A Measurement Study of Deployment and Security Trends in EV Charging Infrastructure
The deployment of electric vehicle charging infrastructure is occurring at a rapid pace. Simultaneously, existing standards, such as ISO 15118, which defines critical charging communication, are being improved and further developed. In this paper, we conduct a measurement study of already deployed DC charging stations to analyze the current state of deployment for various protocols. We present the adoption of TLS, and various EV charging protocols with a direct security impact, as well as obser…

This https://arxiv.org/abs/2309.09939 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Holographic Limitations and Corrections to Quantum Information Protocols
We discuss the limitations imposed on entanglement distribution, quantum teleportation, and quantum communication by holographic bounds, such as the Bekenstein bound and Susskind's spherical entropy bound. For continuous-variable (CV) quantum information, we show how the naive application of holographic corrections disrupts well-established results. These corrections render perfect CV teleportation impossible, preclude uniform convergence in the teleportation simulation of lossy quantum channel…

This https://arxiv.org/abs/2401.00796 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Scalable entanglement certification via quantum communication
Harnessing the advantages of shared entanglement for sending quantum messages often requires the implementation of complex two-particle entangled measurements. We investigate entanglement advantages in protocols that use only the simplest two-particle measurements, namely product measurements. For experiments in which only the dimension of the message is known, we show that robust entanglement advantages are possible, but that they are fundamentally limited by Einstein-Podolsky-Rosen steering. …

Web 3.0 and Quantum Security: Long-Distance Free-Space QSDC for Global Web 3.0 Networks
Yew Kee Wong, Yifan Zhou, Xinlin Zhou, Yan Shing Liang, Zi Yan Li
https://arxiv.org/abs/2402.09108

Web 3.0 and Quantum Security: Long-Distance Free-Space QSDC for Global Web 3.0 Networks
With the advent of Web 3.0, the swift advancement of technology confronts an imminent threat from quantum computing. Security protocols safeguarding the integrity of Web 2.0 and Web 3.0 are growing more susceptible to both quantum attacks and sophisticated classical threats. The article introduces long-distance free-space quantum secure direct communication (LF QSDC) as a method to safeguard against security breaches in both quantum and classical contexts. Differing from techniques like quantum…

Approximating many-body quantum states with quantum circuits and measurements
Lorenzo Piroli, Georgios Styliaris, J. Ignacio Cirac
https://arxiv.org/abs/2403.07604

Approximating many-body quantum states with quantum circuits and measurements
We introduce protocols to prepare many-body quantum states with quantum circuits assisted by local operations and classical communication. First, we show that by lifting the requirement of exact preparation, one can substantially save resources. In particular, the so-called $W$ and, more generally, Dicke states require a circuit depth and number of ancillas that are independent of the system size. We also show how one can save resources in the preparation of eigenstates of well-known spin model…

This https://arxiv.org/abs/2308.15148 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Quantum change point and entanglement distillation
In a quantum change point problem, a source emitting particles in a fixed quantum state (default) switches to a different state at some stage, and the objective is to identify when the change happened by measuring a sequence of particles emitted from such a source. Motivated by entanglement-sharing protocols in quantum information, we study this problem within the paradigm of local operations and classical communication (LOCC). Here, we consider a source that emits entangled pairs in a default …